Upload
Featured Recent Articles Topics Login Upload

Search Results for 'path abstraction'

path abstraction published presentations and documents on DocSlides.

On Abstraction Refinement for Program Analyses in
On Abstraction Refinement for Program Analyses in
by giovanna-bartolotta
Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...
The Yogi Project
The Yogi Project
by natalia-silvester
Software property checking via static analysis an...
On Abstraction Refinement for Program Analyses in
On Abstraction Refinement for Program Analyses in
by jane-oiler
Datalog. Xin Zhang. , Ravi . Mangal. , . Mayur. ...
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang
by test
On Abstraction Refinement for Program Analyses in...